grub2: add support for devicetree
authorRicardo Salveti <ricardo@foundries.io>
Mon, 17 Dec 2018 18:17:51 +0000 (16:17 -0200)
committerAtomic Bot <atomic-devel@projectatomic.io>
Fri, 21 Dec 2018 14:00:42 +0000 (14:00 +0000)
commitb6795c93ead221ce723238d8bcc94cb6621c8867
tree76240aa82b13ee7ab5e228b9d2ff579200293f35
parentee988f69aa56bab011ef55f5d561ebec23531ce4
grub2: add support for devicetree

Similar as available for u-boot (ce2995e1dc1557c4d97ef5af807eacf3ef4a22d8)
and syslinux (c5112c25e4519835c4cd53f4350c1b2f2a477746), enable parsing
and writing devicetree filename into grub.cfg.

This is required by arm64-based devices running edk2 instead of u-boot
as the main bootloader (e.g. 96boards HiKey and HiKey960).

Signed-off-by: Ricardo Salveti <ricardo@foundries.io>
Closes: #1790
Approved by: cgwalters
src/boot/grub2/ostree-grub-generator
src/libostree/ostree-bootloader-grub2.c